Лекция А.Б.Сосинского. Дубна, 2001 г You can watch this video on www.livejournal.com
Теорема Гёделя
Любая полная формальная теория противоречива.
в ней существуют истинные утверждения, отрицания которых также истино.
Любая непротиворечивая формальная теория неполна.
в ней существуют истинные утверждения, не выводмые из аксиом теории,
отрицания которых также не выводимы.
Теорема Кантора
(
Read more... )